{-# OPTIONS -fglasgow-exts #-}

-- Generated by Alonzo

module PreludeNatType where
import RTS
name1 = "Nat"

data T1 a = C2
          | C3 a
d1 = ()
name2 = "zero"
name3 = "suc"
